1. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
2. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
